G22.2631 project report: software transactional memory
نویسندگان
چکیده
Software transactional memory (STM) is a programming paradigm that may be influential in the near future. We discuss the motivations for STM, its relationship with database concepts, and the state of current implementations. We close with an example of a concurrent data structure implemented in a current STM, TinySTM.
منابع مشابه
First Year Report
My initial project proposal was to enhance program safety by improving module interfaces. I projected this could be achieved by better abstractions and richer interface annotations. Since then, I have refined this goal by focusing on concurrent programs. During my first year I have looked at methods for reasoning about the correctness of concurrent programs, and software transactional memory, w...
متن کاملSTO Verification
Transactional memory is an appealing alternative to lock-based synchronization mechanisms. It provides in-memory operations with transaction abstraction analogous to database systems. Despite recent works on exploring different implementation strategies of software transactional memory, little attention has been paid to verify their correctness. In this work, We aim to verify in Coq the correct...
متن کاملRuLAM Project: Speculative Parallelization for Java using Software Transactional Memory∗
The era of multicore processors, capable of running multiple tasks concurrently, has arrived. Sadly, most existing software and even new applications being developed are not ready to take advantage of these new multiprocessing capabilities, and, thus, more processing cores do not translate into better performance when executing these applications. To tackle this problem, we envision the creatio...
متن کاملPerformance Comparison of Software Transactional Memory Implementations
KARIATH, RIYA RAJU. Performance Comparison of Software Transactional Memory Implementations. (Under the direction of Dr. Edward F Gehringer.) Software Transactional Memory (STM), an optimistic concurrency control mechanism for controlling accesses to shared memory, is a promising alternative to lockbased mutual exclusion strategies. A transaction in this context is each piece of code that execu...
متن کاملA Haskell-Implementation of STM Haskell with Early Conflict Detection
Software transactional memory treats operations on the shared memory in concurrent programs like data base transactions. STM Haskell integrates this approach in Haskell and provides combinators to build software transactions in a composable way. In previous work we introduced the process calculus CSHF as a formal model for a concurrent implementation of software transactional memory in Concurre...
متن کامل